Specification Language

A Component-based Coordination Language for Efficient Reconfigurable Streaming Applications

Independent Component Analysis / Data Structure / Consumer Electronics / Graphic User Interface Design / Specification Language / Load Balance / Front end / User Interaction / Dynamic Reconfiguration / Load Balance / Front end / User Interaction / Dynamic Reconfiguration

A location-based policy-specification language for mobile devices

Cognitive Science / Distributed Computing / Security and Privacy / Mobile Application / Mobile and Pervasive Computing / User needs / Mobile Device / Specification Language / Design and Implementation / User needs / Mobile Device / Specification Language / Design and Implementation

An Algebra for Kripke Polynomial Coalgebras

Finite Automata / Specification Language / Dynamic System / Transition Systems

Modular Supervisory Control with General Indecomposable Specification Languages

Computational Complexity / Supervisory Control / Specification Language / Large Scale

Global Development via Local Observational Construction Steps

Software Development / Specification Language / Interconnection

An Algebra for Kripke Polynomial Coalgebras

Finite Automata / Specification Language / Dynamic System / Polynomials / Transition Systems
Copyright © 2017 DATOSPDF Inc.